201. An introduction to mathemational machine theory

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Electronic data processing,Mathematical models,Automata,Logic, Symbolic and mathematical

رده :
510
.
78
Gi-I

202. An introduction to modern mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups

رده :
QA
248
.
M513

203. An introduction to practical formal methods using temporal logic

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Temporal automata,Logic, Symbolic and mathematical

رده :
QA267
.
5
.
T45
,
F57
2011

204. An introduction to stymbolic logic

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : ، logic, symbolic and Mathematical

رده :
BC
135
.
L35
1967

205. An introduction to substructural logics

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
BC
135
.
R47
2000

206. An introduction to symbolic logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
BC
135
.
L35

207. An introduction to symbolic logic

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Logic, Symbolic and mathematical

رده :
BC135
.
L35
1967

208. An introduction to symbolic logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic, Symbolic and mathematical

رده :
BC
135
.
L35
1967

209. An introduction to symbolic logic

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
BC
135
.
L35
1967

210. An introduction to symbolic logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
BC
135
.
L26I5
1967

211. An introduction to the elements of mathematics

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Aggregates,، Algebra

رده :
QA
9
.
F8

212. An introduction to the elements of mathematics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , AGGREGATES , ALGEBRA

رده :
QA
9
.
F8

213. An investigation of the laws of thought

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

214. An investigation of the laws of thought:on which are founded the

پدیدآورنده :

کتابخانه: (طهران)

موضوع : LOGIC,SYMBOLIC & MATHEMATICAL , THOUGHT & THINKING , SCIENCE-EXPERIMENTS-PHILOSOPHY

رده :
QA
9
.
B66

215. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities

رده :
BC
135
.
B7
1854a

216. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities

رده :
BC
135
.
B7
1958

217. An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Thought and thinking,، Probabilities

رده :
BC
135
.
B7

218. An invitation to applied category theory :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.

رده :
QA9
.
25
.
F66
2019

219. An invitation to applied category theory :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;

220. An outline of set theory

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)

موضوع : Set theory,Logic,symbolic and mathematical

رده :
511
.
322
H514o